منابع مشابه
Latticed Simulation Relations and Games
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed Kripke structures, in which the elements in the set are partially ordered, are useful in abstraction, query checking, and reasoning about multiple view-points. The challenges that formal methods involve in the Boolea...
متن کاملLatticed pentamode acoustic cloak
We report in this work a practical design of pentamode acoustic cloak with microstructure. The proposed cloak is assembled by pentamode lattice made of a single-phase solid material. The function of rerouting acoustic wave round an obstacle has been demonstrated numerically. It is also revealed that shear related resonance due to weak shear resistance in practical pentamode lattices punctures b...
متن کاملFair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata
We give efficient algorithms, improving optimal known bounds, for computing a variety of simulation relations on the state space of a Büchi automaton. Our algorithms are derived via a unified and simple parity-game framework. This framework incorporates previously studied notions like fair and direct simulation, but also a new natural notion of simulation called delayed simulation, which we int...
متن کاملRelations, Metrics and Applications of Stochastic Games
The last few decades have seen the emergence of formal methods for the modeling and analysis of hardware and software systems. The formal models of such systems are finite state automata, also known as labelled transition systems. A state of a system is a vertex in an automaton, labels represent inputs and labelled edges represent state transitions. Finite state automata may be deterministic, n...
متن کاملturkish-israeli relations and their implication on iranian national security
this dissertation has six chapter and tree appendices. chapter 1 introduces the thesis proposal including description of problem, key questions, hypothesis, backgrounds and review of literature, research objectives, methodology and theoretical concepts (key terms) taken the literature and facilitate an understanding of national security, national interest and turkish- israeli relations concepts...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Foundations of Computer Science
سال: 2010
ISSN: 0129-0541,1793-6373
DOI: 10.1142/s0129054110007192